Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
نویسندگان
چکیده
منابع مشابه
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. By simulating circuits, digital design becomes a living topic, like programming, and not just a set of inert facts to memorise. Experiences gained from more than 20 years of teaching computer systems via functional programming ar...
متن کاملConnecting Abstract Description Systems
Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually realistic application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of these aspects. It is difficult because the computational behavior of ...
متن کاملSystems and Culture: Connecting the Dots
“Poor fit with the culture” is a common explanation of disappointments or failures in system-related innovations. Almost anyone in the IS field would probably agree that a mismatch between a system and an organization’s culture spells trouble, but most methods currently used for analyzing and designing IT-based systems downplay issues related to culture and provide no help in treating these iss...
متن کاملEmbedding a Hardware Description Language in a Functional Meta-Programming Language
General purpose functional languages such as Haskell, have been widely used as host languages for the embedding of domain specific languages. In particular, various hardware description languages have been successfully embedded in Haskell and other functional languages. More recently, meta-programming languages have also started being used for the embedding of such languages, where the meta-lan...
متن کاملUML - The Emerging Hardware Description Language?
The Unified Modeling LanguageTM (UML) has received a wide acceptance in the area of software engineering over the last years. In its last revision, UML [4] (i.e., UML 2.0) is composed of a set of structural (classes, components, composite structures, deployments) and behavioral concepts (actions, activities, state machines, interactions, use cases), which are clearly separated from their visual...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.106.2